BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
verif (3)
use (2)
interact (1)
creativ (1)
express (1)

Stem boogi$ (all stems)

4 papers:

SEFMSEFM-2014-ReicherdtG #matlab #modelling #using #verification
Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie (RR, SG), pp. 190–204.
HILTHILT-2012-Leino12a #proving #using #verification #why
Program proving using intermediate verification languages (IVLs) like boogie and why3 (KRML), pp. 25–26.
SEFMSEFM-2011-GouesLM #debugging #verification
The Boogie Verification Debugger (Tool Paper) (CLG, KRML, MM), pp. 407–414.
CHICHI-2011-HalpernTEDESBG #interactive #named
MoBoogie: creative expression through whole body musical interaction (MKH, JT, ME, SD, AE, KS, EPSB, GG), pp. 557–560.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.