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/seke/MondragonGMS05.xml
Oscar Mondragon Ann Q. Gates Humberto Mendoza Oleg Sokolsky Generating Properties for Runtime Monitoring from Software Specification Patterns. 267-273 2005 conf/seke/2005 SEKE db/conf/seke/seke2005.html#MondragonGMS05