Announcement_10

The paper “SAT-based Consistency Checking for Structural and Behavioral SysML v2 Models” (by N. Aguirre, D. Garbervetsky, S. Uchitel, T. Yue and M. Zhang) has been accepted for publication at the International Colloquium on Theoretical Aspects of Computing.