robert-l-probert documents

High-level testing and example-directed development of software specifications
Documents High-level testing and example-directed development of software specifications
Protocol quality engineering: addressing industry concerns about formal methods
Documents Protocol quality engineering: addressing industry concerns about formal methods
Commutativity, non-commutativity, and bilinearity
Documents Commutativity, non-commutativity, and bilinearity