Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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