Formal methods (Computer science)
Overview
| Works: | 3 works in 3 publications in 3 languages | |
|---|---|---|
Titles
Formal methods for industrial critical systems : a survey of applications
by:
(Language materials, printed)