Book serie: / Книги серии: Communications in computer and information science no. 17 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Communications in computer and information science no. 17

book Leveraging applications of formal methods, verification and validation

Leveraging applications of formal methods, verification and validation

pdf

Author: Tiziana Margaria-Steffen, Bernhard Steffen
Language: English
Year: 2008

00

27.01.2024

0

0