Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

jimburton's formal-methods [2 articles]

Recent papers added to jimburton's library classified by the tag formal-methods. You can also see everyone's formal-methods.
  • Introduction to Formal Specification and Z (2nd Edition)
    (11 July 1996)
    by Ben Potter, Jane Sinclair, David Till
    posted to z formal-methods by jimburton on 2008-05-22 14:38:34 as *** along with 1 person smogit
  • Formal methods: state of the art and future directions
    ACM Computing Surveys, Vol. 28, No. 4. (1996), pp. 626-643.
    by Edmund M Clarke, Jeannette M Wing, Rajeev Alur, Rance Cleaveland, David Dill, Allen Emerson, Stephen Garland, Steven German, John Guttag, Anthony Hall, Thomas Henzinger, Gerard Holzmann, Cliff Jones, Robert Kurshan, Nancy Leveson, Kenneth Mcmillan, J Moore, Doron Peled, Amir Pnueli, John Rushby, Natarajan Shankar, Joseph Sifakis, Prasad Sistla, Bernhard Steffen, Pierre Wolper, Jim Woodcock, Pamela Zave
    posted to formal-methods by jimburton on 2008-05-22 14:30:42 as *** along with 2 people and 1 group rgrig citeilike SRG_at_UCD
    • Note: You may cite this page as: http://www.citeulike.org/user/jimburton/tag/formal-methods

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.