Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

2 Results for "Drossopoulou, Sophia"

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. A formal semantics for isorecursive and equirecursive state abstractions

Summers, Alexander J. and Drossopoulou, Sophia (2012)

Reports Reports

2. Formalization of generic universe types

Dietl, Werner Michael, Drossopoulou, Sophia and Müller, Peter (2007)

Reports Reports