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
1 × Italy
Collaborated with:
T.C.Murray J.Andronick D.R.Jeffery G.Klein M.Staples
Talks about:
specif (2) softwar (1) automat (1) toward (1) formal (1) extens (1) verif (1) studi (1) proof (1) indic (1)

Person: Daniel Matichuk

DBLP DBLP: Matichuk:Daniel

Contributed to:

ICSE 20152015
SEFM 20122012

Wrote 2 papers:

ICSE-v1-2015-MatichukMAJKS #empirical #formal method #towards #verification
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification (DM, TCM, JA, DRJ, GK, MS), pp. 722–732.
SEFM-2012-MatichukM #automation #proving #specification #using
Extensible Specifications for Automatic Re-use of Specifications and Proofs (DM, TCM), pp. 333–341.

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.