Evolving specifications formally.

Prahladavaradan Sampath, Silky Arora, S. Ramesh

Browse the full RE paper archive.