Search
 
loader loading subjects...
cover
: A Semantic Framework for Programming Languages and Formal Analysis Tools
Grigore Rosu
186 - 206
10.3233/978-1-61499-810-5-186
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 50: Dependable Software Systems Engineering
Abstract

We give an overview of the framework, following the lecture notes presented by the author at the Marktoberdorf Summer School in year 2016.

$35.00 / €27.50 / £22.00
Add PDF to cart