Hamlet, D. Invariants and state in testing and formal methods. Software engineering notes..
Citazione stile Chigago Style (17a edizione)Hamlet, Dick. "Invariants and State in Testing and Formal Methods." Software Engineering Notes. .
Citatione MLA (9a ed.)Hamlet, Dick. "Invariants and State in Testing and Formal Methods." Software Engineering Notes., .
Attenzione: Queste citazioni potrebbero non essere precise al 100%.