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:
learn (1)
time (1)
real (1)
base (1)
satisfi (1)

Stem vacuous$ (all stems)

3 papers:

FASEFASE-2012-AlrajehKRU #learning #satisfiability #specification
Learning from Vacuously Satisfiable Scenario-Based Specifications (DA, JK, AR, SU), pp. 377–393.
RERE-2011-PostHP #realtime #requirements
Vacuous real-time requirements (AP, JH, AP), pp. 153–162.
TACASTACAS-2004-GurfinkelC #how #question
How Vacuous Is Vacuous? (AG, MC), pp. 451–466.

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.