Skip to content
Vinony

Formal methods and software engineering

by Chris George, Huaikou Miao

Cover of Formal methods and software engineering

No description available.

Formal methods (Computer science)CongressesSoftware engineering
Formal methods and software engineering by Chris George, Huaikou Miao — book · Vinony