Wang, L., G. ; Mendler, Michael:
The formal design of a class of computers - its high stage: Abstract microprogramming
.
In: Eveking, H. ; Camurati, P. (Hrsg.) : Correct Hardware Design and Verification Methods (CHARME '95).
Berlin u.a. : Springer, 1995, (LNCS Bd. 789), S. 84-102.
Institution: Professur für Grundlagen der Informatik
|
|