APA (7th ed.) Citation

Hamlet, D. Invariants and state in testing and formal methods. Software engineering notes..

Chicago Style (17th ed.) Citation

Hamlet, Dick. "Invariants and State in Testing and Formal Methods." Software Engineering Notes. .

MLA (9th ed.) Citation

Hamlet, Dick. "Invariants and State in Testing and Formal Methods." Software Engineering Notes., .

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