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/safecomp/DroschlKST00.xml
Georg Droschl Walter Kuhn Gerald Sonneck Michael Thuswald A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module. 187-197 https://doi.org/10.1007/3-540-40891-6_17 2000 conf/safecomp/2000 SAFECOMP db/conf/safecomp/safecomp2000.html#DroschlKST00