[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

BowenHinchey11

  1. Jonathan P Bowen & Michael G Hinchey
  2. Ten Commandments of Formal Methods, a Decade Later
  3. FM 2011: 17th International Symposium of Formal Methods
  4. =HISTORY FORMAL METHODS COMMANDMENTS
  5. Slides [ ten-commandments-of-formal-methods-a-decade-later ]
  6. See older [BowenHinchey06] with same list but more commentary.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]