Skip to content
Vinony

Formal methods

by Keijiro Araki, Stefania Gnesi

Cover of Formal methods

No description available.

Computer softwareCongressesDevelopmentFormal methods (Computer science)System designMathematicsComputer software, developmentComputer science