Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation.

Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry

Browse the full MODELS paper archive.