Formal methods : foundations and applications : 13th Brazilian symposium on formal methods, SBMF, Natal, Brazil, Nov. 8-11, 2010 (e-book)
Formal methods : foundations and applications : 13th Brazilian symposium on formal methods, SBMF, Natal, Brazil, Nov. 8-11, 2010 (e-book)
- Berlin Springer 2011
- Lecture Notes in Computer Science (LNCS) v.6527 LNCS Sublibrary : SL 2 – Programming and Software Engineering .
978-3-642-19829-8
Computer Science and Engineering
Formal methods (Computer science)--Congresses
Logic design--Congresses
Software engineering--Congresses
978-3-642-19829-8
Computer Science and Engineering
Formal methods (Computer science)--Congresses
Logic design--Congresses
Software engineering--Congresses