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 × Italy
1 × Spain
1 × USA
Collaborated with:
D.L.Dill S.Park T.Ball B.Cook S.K.Rajamani
Talks about:
abstract (3) approxim (2) predic (2) transit (1) success (1) softwar (1) experi (1) relat (1) refin (1)

Person: Satyaki Das

DBLP DBLP: Das:Satyaki

Contributed to:

TACAS 20042004
LICS 20012001
CAV 19991999

Wrote 3 papers:

TACAS-2004-BallCDR #abstraction #approximate
Refining Approximations in Software Predicate Abstraction (TB, BC, SD, SKR), pp. 388–403.
LICS-2001-DasD #approximate
Successive Approximation of Abstract Transition Relations (SD, DLD), pp. 51–58.
CAV-1999-DasDP #abstraction #experience
Experience with Predicate Abstraction (SD, DLD, SP), pp. 160–171.

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.