A formal approach to rigorous development of critical systems
Autor: | Alan Wassyng, Neeraj Kumar Singh, Tom Maibaum, Mark Lawford |
---|---|
Rok vydání: | 2021 |
Předmět: | |
Zdroj: | Journal of Software: Evolution and Process. 33 |
ISSN: | 2047-7481 2047-7473 |
Databáze: | OpenAIRE |
Externí odkaz: |