Search Results - Lano, K.

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Specification in B: an introduction using the B toolkit

    Specification in B: an introduction using the B toolkit by Lano, K.

    Published 1996
    Book
    Save to List
    Saved in:

Search Tools: