Computer software - Verification.
Overview
Works: | 15 works in 15 publications in 15 languages |
---|
Titles
Rigorous software development = an introduction to program verification /
by:
(Electronic resources)
Verification and validation in systems engineering = assessing UML/SysML design models /
by:
(Electronic resources)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(Electronic resources)
Show more
Fewer
Subjects