BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Greece
Collaborated with:
J.Barnat V.Havel L.Brim
Talks about:
check (2) parallel (1) softwar (1) program (1) saniti (1) requir (1) model (1) input (1)

Person: Petr Bauch

DBLP DBLP: Bauch:Petr

Contributed to:

PDP 20142014
SEFM 20122012

Wrote 2 papers:

PDP-2014-BarnatBH #model checking #parallel #source code
Model Checking Parallel Programs with Inputs (JB, PB, VH), pp. 756–759.
SEFM-2012-BarnatBB #requirements
Checking Sanity of Software Requirements (JB, PB, LB), pp. 48–62.

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.