Michael Breen: Statestep: A Tool for Systematic, Incremental Specification. (2004)conf/icse/Breen0410.1109/ICSE.2004.1317500Statestep: A Tool for Systematic, Incremental Specification.1Michael Breen1711-712ICSEICSE20042004provenance information for RDF data of dblp record 'conf/icse/Breen04'2023-03-23T23:58:11+0100