From model checking to a temporal proof for partial models

Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D Zuck, Carlo Ghezzi
January 2017
Type
Conference paper
Publication
International Conference on Software Engineering and Formal Methods