APA
Lindsay Groves J. S., . (2013). Formal Methods and Software Engineering. Germany: Springer.
Chicago
Lindsay Groves Jing Sun, . 2013. Formal Methods and Software Engineering. Germany: Springer.
Harvard
Lindsay Groves J. S., . (2013). Formal Methods and Software Engineering. Germany: Springer.
MLA
Lindsay Groves Jing Sun, . Formal Methods and Software Engineering. Germany: Springer. 2013.