Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs.

Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami

Browse the full RE paper archive.