Treffer 1 - 2 von 2 für Suche 'Melham, T.F.', Suchdauer: 0,26s Treffer weiter einschränken
  1. 1
    Practical formal verification in microprocessor design

    Practical formal verification in microprocessor design von Jones, R.B., O'Leary, J.W., Seger, C.-J.H., Aagaard, M.D., Melham, T.F.

    Veröffentlicht in IEEE design & test of computers

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A Package For Inductive Relation Definitions In HOL

    A Package For Inductive Relation Definitions In HOL von Melham, T.F.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: