Home
Genres
Deals
Log in
Sign up
Premium
Help
Download
Privacy
Terms
Formal methods and software engineering by Huaikou Miao, Chris George | Lex | Lex
Formal methods and software engineering
Huaikou Miao
Chris George
Subjects
Formal methods (Computer science)
Congresses
Software engineering