BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
A.Dutta S.Acharya
Talks about:
approach (1) analysi (1) semant (1) requir (1) verif (1) autom (1)

Person: Prajna Devi Upadhyay

DBLP DBLP: Upadhyay:Prajna_Devi

Contributed to:

SEKE 20122012

Wrote 1 papers:

SEKE-2012-DuttaUA #analysis #approach #automation #semantics #verification
Requirement Analysis and Automated Verification: A Semantic Approach (AD, PDU, SA), pp. 51–54.

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.