Title: Integrated Formal Methods 8th International Conference Ifm 2010 Nancy France October 1114 2010 Proceedings
Subjects: Logic design, Computer science, Software engineering, Computer software, Formal methods (Computer science), Congresses, System design