Formal Methods : Applications and Technology
Formal Methods : Applications and Technology
Lubos Brim, Martin Leucker, Boudewijn Haverkort, Jaco van de Pol
Details
- OL Work ID
- OL27329202W
Subjects
Software engineeringComputer programsComputer software, reliabilityComputer software, verification