Publication
Decidable subclassing-bounded quantification
Publication
Play to Test
Publication
Exploration with Multiple State Groupings
Publication
Divergence Measures and Message Passing
Publication
Local Reasoning for Java
Publication