Theories of Programming and Formal Methods
Springer Nature Switzerland
Title |
Theories of Programming and Formal Methods
|
---|---|
Published by |
Springer Nature Switzerland, January 2023
|
DOI | 10.1007/978-3-031-40436-8 |
ISBNs |
978-3-03-140435-1, 978-3-03-140436-8
|
Editors |
Jonathan P. Bowen, Qin Li, Qiwen Xu |