Institutional Repository

Browsing South African Computer Journal 1997(19) by Subject "Formal methods"

Browsing South African Computer Journal 1997(19) by Subject "Formal methods"

Sort by: Order: Results:

  • McIver, AK; Morgan, C; Sanders, JW (South African Computer Society (SAICSIT), 1997)
    This paper abridges lecture notes from WOFACS 96. It provides semantic models for a variety of programming and development formalisms, showing how different models for the same formalism are related by Galois connections. ...

Search UnisaIR


Browse

My Account