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.org/rec/conf/icse/ArdisCJMPSO95.xml
Mark A. Ardis John A. Chaves Lalita Jategaonkar Jagadeesan Peter Mataga Carlos Puchol Mark G. Staskauskas James Von Olnhausen A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report. 159-168 1995 conf/icse/1995 ICSE https://doi.org/10.1145/225014.225029 db/conf/icse/icse95.html#ArdisCJMPSO95