Links

Tools

Export citation

Search in Google Scholar

Transferring Stability Proof Obligations from Model Level to Code Level

Proceedings article published in 2012 by Michael Dierkes, Daniel Kästner
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Question mark in circle
Preprint: policy unknown
Upload
Question mark in circle
Postprint: policy unknown
Upload
Question mark in circle
Published version: policy unknown
Upload