๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The RISC ProofNavigator: a proving assistant for program verification in the classroom

โœ Scribed by Wolfgang Schreiner


Publisher
Springer
Year
2008
Tongue
English
Weight
686 KB
Volume
21
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES