Ágnes Barta

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Geometric Constraints

Structural Information

False Positives

Top Venues

Softw. Syst. Model.

Publications

Oszkár Semeráth, Ágnes Barta, Ákos Horváth, Zoltán Szatmári, Dániel Varró
Formal validation of domain-specific languages with derived features and well-formedness constraints. Softw. Syst. Model. 16 (2) (2017)