M. H. B. Sorensen


AuthID: R-00J-N7C

Publications Requiring Validation

1
TITLE: CPS translations and applications: The cube and beyond
AUTHORS: Barthe, G; Hatcliff, J; SOrensen, MHB;
PUBLISHED: 1999, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 12, ISSUE: 2
INDEXED IN: Scopus CrossRef: 19

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service