Search results for: Abha Moitra
Requirements Engineering > 2019 > 24 > 3 > 341-364
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 87-106
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 362-381
Lecture Notes in Computer Science > Provenance and Annotation of Data and Processes > Papers > 111-119
IEEE Transactions on Software Engineering > 1986 > SE-12 > 3 > 442 - 449
IEEE Transactions on Computers > 1985 > C-34 > 6 > 563 - 565