Wednesday, February 18, 2009

"Extending B without changing it"

J.R. Abrial, Extending B without changing it (for developing distributed systems)
file:///U:/public_html/ConfZetBdeNantes/Abrial.htm

No comments: