Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-19, 2019, Proceedings
by Fabrizio Biondi, Thomas Given-Wilson, Axel Legay Paperback 2019
- Author: Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
- ISBN 13: 9783030309220
- ISBN 10: 3030309223
- Publication Year: 2019
- Language: English
Specifications
Index-103030309223
LanguageEnglish
Index-139783030309220
Period-
Class Track-
Publisher- (2019)
Pages-