Skip to main content

SAL 2

Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari

PDF DOI 10.1007/978-3-540-27813-9_45 dblp BibTeX

No abstract available.

Related papers

Verifying Formal Specifications of Synchronous Processes POPL 1976
Towards self-adaptable languages Onward! 2021
Safety of Nöcker's strictness analysis JFP 2008