Yazar
Gabmeyer, Sebastian. editor. (orcid)0000-0002-4097-9917
Format:
Electronic Resources
Alıntı:
Logic design.
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design
View Other Search Results
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014