Fingerprint
Untersuchen Sie die Forschungsthemen von „Computer-aided refinement of data structures on higher-order algebraic specifications“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewichtung
- Alphabetisch
Computer-aided refinement of data structures on higher-order algebraic specifications
Walter Dosch*, Sönke Magnussen
*Korrespondierende/r Autor/-in für diese Arbeit
3
Zitate (Scopus)