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 × Norway
1 × USA
Collaborated with:
A.Sharma C.David S.Wang A.Hobor W.Chin
Talks about:
guarante (1) granular (1) certifi (1) verifi (1) reason (1) infin (1) immut (1) pimm (1)

Person: Andreea Costea

DBLP DBLP: Costea:Andreea

Contributed to:

FM 20152015
PEPM 20142014

Wrote 2 papers:

FM-2015-SharmaWCHC #infinity #reasoning
Certified Reasoning with Infinity (AS, SW, AC, AH, WNC), pp. 496–513.
PEPM-2014-CosteaSD #named #verification
HIPimm: verifying granular immutability guarantees (AC, AS, CD), pp. 189–194.

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.