Hamlet, D. Invariants and state in testing and formal methods. Software engineering notes..
Chicago Style (17th ed.) CitationHamlet, Dick. "Invariants and State in Testing and Formal Methods." Software Engineering Notes. .
MLA (9th ed.) CitationHamlet, Dick. "Invariants and State in Testing and Formal Methods." Software Engineering Notes., .
Warning: These citations may not always be 100% accurate.