Stem modest$ (all stems)

3 papers:

TACAS-2014-HartmannsH #ide #modelling #tool support #verification

The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification (AH, HH), pp. 593–598.

CC-2005-RyuR #debugging #multi #programming

Source-Level Debugging for Multiple Languages with Modest Programming Effort (SR, NR), pp. 10–26.

LICS-1988-BruceL #bound #inheritance #quantifier

A Modest Model of Records, Inheritance and Bounded Quantification (KBB, GL), pp. 38–50.