Computer Software
Print ISSN : 0289-6540
The Z Specification Language and the Proof Environment Isabelle/HOL-Z
Hironobu KURUMABurkhart WOLFFDavid BASINShin NAKAJIMA
Author information
JOURNAL FREE ACCESS

2007 Volume 24 Issue 2 Pages 2_21-2_26

Details
Article 1st page
Content from these authors
© Japan Society for Software Science and Technology 2007
Previous article Next article
feedback
Top