Formalizing Requirement Specifications for Problem Solving in a Research Domain.
Nikolay A. Skvortsov, Sergey A. Stupnikov
VenueCADBIS
Year2019
ProceedingsADBIS (Short Papers and Workshops)
DBLP recordconf/adbis/SkvortsovS19 ↗
Browse the full ADBIS paper archive.