logo
The Digital Librarian's Digital Library
DOCIS Documents in Computing and Information Science
 
Home >> Journals and Conference Proceedings >> Z Users Conference
 
 
Development via Refinement in Probabilistic B - Foundation and Case Study
 
Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
 
Journal Title: Z Users Conference
Date: 2005
 
 
 
For further information about this item go to:
http://dx.doi.org/10.1007/11415787_21
 
 
This data comes from DBLP
[SWISH++]Valid XHTML 1.0!
This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12