借閱次數: 0
|
Deductive software verification future perspectives : reflections on the occasion of 20 years of KeY /
- 作者:edited by Wolfgang Ahrendt ... [et al.].
- 出版者:Springer International Publishing : Imprint: Springer
- 出版地:Cham :
- 語文:英語
- 叢書名:Lecture notes in computer science, ; Programming and software engineering
- 電子資源:https://doi.org/10.1007/978-3-030-64354-6
- ISBN/ISSN/ISRC:9783030643546 ; 9783030643539
- 作者:Ahrendt, Wolfgang.
- 索書號:005.14
|