Hamlet, D. Invariants and state in testing and formal methods. Software engineering notes..
Dyfyniad Arddull ChicagoHamlet, Dick. "Invariants and State in Testing and Formal Methods." Software Engineering Notes. .
Dyfyniad MLAHamlet, Dick. "Invariants and State in Testing and Formal Methods." Software Engineering Notes., .
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.