"Verified component-based software in SPARK: experimental results for a ..."

Kung-Kiu Lau, Zheng Wang (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics