Leveraging applications of formal methods, verification, and validation : 4th international symposium on leveraging applications : proceedings, ISoLA 2010, Heraklion, Crete, Greece, Oct. 18-21, 2010 (e-book)
Leveraging applications of formal methods, verification, and validation : 4th international symposium on leveraging applications : proceedings, ISoLA 2010, Heraklion, Crete, Greece, Oct. 18-21, 2010 (e-book)
- Berlin Springer 2010
- pt.1
- Lecture Notes in Computer Science (LNCS) v.6415 LNCS Sublibrary : SL 1 – Theoretical computer science and general issues .
978-3-642-16558-0
Computer science and engineering
Formal methods (Computer science)--Congresses
Software engineering--Congresses
978-3-642-16558-0
Computer science and engineering
Formal methods (Computer science)--Congresses
Software engineering--Congresses