Go home now Header Background Image
Submission Procedure
share: |
Follow us

Cindy Kong
Department of Electrical Engineering and Computer Science, Information and Telecommunication Technology Center, The University of Kansas, USA

C. Kong, P. Alexander, C. Menon:
Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language
page 1322 - 1349
Vol.9 / Issue 11