News

Two papers at NFM 2011

Created by pecheur, at February 28, 2011, at 09:23 AM

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.