Program Proofs
epub
- Author: K. Rustan M. Leino
- Language: English
- Year: 2023
- Author: Parosh Aziz Abdulla K. Rustan M. Leino (eds.)
- Language: English
- Year: 2013
- Author: Gerard J. Holzmann (auth.) Parosh Aziz Abdulla K. Rustan M. Leino (eds.)
- Language: English
- Year: 2011
- Author: Gerard J. Holzmann (auth.) Parosh Aziz Abdulla K. Rustan M. Leino (eds.)
- Language: English
- Year: 2011
- Author: Gerard J. Holzmann (auth.) Parosh Aziz Abdulla K. Rustan M. Leino (eds.)
- Language: English
- Year: 2011