The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications
Walter Dosch, Sönke Magnussen
18
Link öffnet neuen Tab
Zitate (Scopus)