Vol-2134⫷ Vol-2135 ⫸Vol-2136
urn:nbn:de:0074-2135-0


Vol-2135/SEIM_2018_paper_32⫷Vol-2135/SEIM_2018_paper_36⫸Vol-2135/SEIM_2018_paper_37
Aleksandr V. MisonizhnikDmitry A. Mordvinov

SMT-based analysis of constraints on .NET types (Использование SMT-решателей для анализа систем ограничений на .NET-типы)