Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20û26, 2021, Proceedings
Springer
ISBN13:
9783030908690
$128.71
- | Author: Marieke Huisman, Corina Pasareanu, Naijun Zhan
- | Publisher: Springer
- | Publication Date: Dec 11, 2021
- | Number of Pages: 820 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030908690
- | ISBN-13: 9783030908690
- Author:
- Marieke Huisman, Corina Pasareanu, Naijun Zhan
- Publisher:
- Springer
- Publication Date:
- Dec 11, 2021
- Number of pages:
- 820 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030908690
- ISBN-13:
- 9783030908690