Formal derivation of state-rich reactive programs using Circus
University of York, 2005
Online
Hochschulschrift
Zugriff:
Titel: |
Formal derivation of state-rich reactive programs using Circus
|
---|---|
Autor/in / Beteiligte Person: | Oliveira, Marcel ViniÌcius Medeiros |
Link: | |
Veröffentlichung: | University of York, 2005 |
Medientyp: | Hochschulschrift |
Schlagwort: |
|
Sonstiges: |
|