From Louvain Verification Lab

News: Two papers at NFM 2011

Created by pecheur, at February 28, 2011

Josť Vander Meulen and Charles Pecheur had a full paper and a tool paper accepted at NFM 2011.

NFM 2011, the Third NASA Formal Methods Symposium, will take place in Pasadena, CA in April 2011. Both papers cover recent advances in the research of Josť Vander Meulen.

Tags Tags: , ,
Retrieved from
Page last modified on February 28, 2011