Citazione Stile APA (7a Edizione)
André, E., & Soulat, R. (2013). The inverse method: Parametric verification of real-time embedded systems. ISTE Ltd./John Wiley and Sons Inc..
Citazione stile Chigago Style (17a edizione)
André, Etienne, e Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. Hoboken, N.J.: ISTE Ltd./John Wiley and Sons Inc., 2013.
Citatione MLA (9a ed.)
André, Etienne, e Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. ISTE Ltd./John Wiley and Sons Inc., 2013.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.