Title: FM 2008
First published: 2008
Subjects: Congresses, Development, System design, Mathematics, Formal methods (Computer science), Computer software, Logic design, Information Systems, Computer science, Software engineering, Computer software, development
LC classification: QA76.76.D47 I593 2008