Dingel, J. Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. Software engineering notes..
Chicago-viite (17. p.)Dingel, Juergen. "Automating Comprehensive Safety Analysis of Concurrent Programs Using Verisoft and TXL." Software Engineering Notes. .
MLA-viite (9. p.)Dingel, Juergen. "Automating Comprehensive Safety Analysis of Concurrent Programs Using Verisoft and TXL." Software Engineering Notes., .
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.