APA (7th ed.) Citation

Dingel, J. Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. Software engineering notes..

Chicago Style (17th ed.) Citation

Dingel, Juergen. "Automating Comprehensive Safety Analysis of Concurrent Programs Using Verisoft and TXL." Software Engineering Notes. .

MLA (9th ed.) Citation

Dingel, Juergen. "Automating Comprehensive Safety Analysis of Concurrent Programs Using Verisoft and TXL." Software Engineering Notes., .

Warning: These citations may not always be 100% accurate.