BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Turkey
1 × USA
Collaborated with:
S.Tu S.Tankashala S.J.Oh R.Kale S.Oh B.Becker B.Horton Z.Yang
Talks about:
driven (2) verif (2) learn (2) case (2) develop (1) system (1) world (1) turn (1) real (1)

Person: Aditya Kallem

DBLP DBLP: Kallem:Aditya

Contributed to:

CSEE&T 20112011
ITiCSE 20102010

Wrote 2 papers:

CSEET-2011-TuTOBHKY #learning
Turning real-world systems into verification-driven learning cases (ST, ST, SO, BB, BH, AK, ZY), pp. 129–138.
ITiCSE-2010-TuOKKT #learning
Developing verification-driven learning cases (ST, SJO, RK, AK, ST), pp. 58–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.