Formal Properties of Modularisation

by Boris Konev , Carsten Lutz , Dirk Walther , Frank Wolter
Citations:11 - 4 self