DMCA
Automatic refinement checking for B (2005)
Cached
Download Links
- [eprints.ecs.soton.ac.uk]
- [eprints.soton.ac.uk]
- [rodin.cs.ncl.ac.uk]
- [rodin.cs.ncl.ac.uk]
- [www.stups.uni-duesseldorf.de]
- DBLP
Other Repositories/Bibliography
by
Michael Leuschel
,
Michael Butler
Venue: | Proceedings ICFEM’05, LNCS 3785 |
Citations: | 17 - 8 self |