Bicarregui, Juan C. (Juan Carlos)

Search Results1-2 of 2

  • Proof in VDM : case studies

    J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm ... [et al.]

    Springer-Verlag c1998 Formal approaches to computing and information technology (FACIT)

    : pbk

    Available at 11 libraries

  • Proof in VDM : a practitioner's guide

    by Juan C. Bicarregui ... [et al.]

    Springer-Verlag c1994 Formal approaches to computing and information technology (FACIT)

    : us , : gw

    Available at 17 libraries

Search this author

Page Top