1 |
A Formally Verified Interpreter for a Shell-like Programming Language
|
|
|
|
In: VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments ; https://hal.archives-ouvertes.fr/hal-01534747 ; VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany (2017)
|
|
BASE
|
|
Show details
|
|
|
|