1 Ebooks oleh Corina Pasareanu
Marieke Huisman & Corina Pasareanu: Formal Methods
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations wer …
EPUB
Inggris
DRM
€127.76
