1.
Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, ...
by Schlingloff, Holger, Chai, ...
ISBN: 9783031171079
2.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
by Roggenbach, Markus, Cerone,...
ISBN: 9783030388027
3.
Concurrency, Specification and Programming : Revised Selected Papers from the 29th Internati...
by Schlingloff, Holger, Vogel,...
ISBN: 9783031266508
4.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
by Roggenbach, Markus, Cerone,...
ISBN: 9783030387990
List Price: $89.99