*Result*: Development via Refinement in Probabilistic B - Foundation and Case Study

Development via Refinement in Probabilistic B - Foundation and Case Study
B and Z users; ZB 2005: formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings

Hoang, T. S., Jin, Z., Robinson, K., McIver, A., Morgan, C.

LECTURE NOTES IN COMPUTER SCIENCE. :355-373

http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN055407653&indx=1&recIds=ETOCCN055407653

British Library Document Supply Centre Inside Serials & Conference Proceedings