Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM : proceedings, Shanghai, China, Nov. 17-19, 2010 (e-book)
Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM : proceedings, Shanghai, China, Nov. 17-19, 2010 (e-book)
- Berlin Springer 2010
- Lecture Notes in Computer Science (LNCS) v.6447 LNCS Sublibrary : SL 2 – Programming and Software Engineering .
978-3-642-16901-4
Computer science and engineering
Formal methods (Computer science)--Congresses
Software engineering--Congresses
978-3-642-16901-4
Computer science and engineering
Formal methods (Computer science)--Congresses
Software engineering--Congresses