iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/fmco/WalkinshawD09.rdf
Neil Walkinshaw and John Derrick: Incrementally Discovering Testable Specifications from Program Executions. (2009) conf/fmco/WalkinshawD09 10.1007/978-3-642-17071-3_14 Incrementally Discovering Testable Specifications from Program Executions. 2 Neil Walkinshaw 1 John Derrick 2 272-289 FMCO FMCO 2009 2010 provenance information for RDF data of dblp record 'conf/fmco/WalkinshawD09' 2023-06-26T20:47:53+0200