A. Sreenivas

From MaRDI portal
Person:1749249



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
The dependence condition graph: precise conditions for dependence between program points
Computer Languages, Systems & Structures
2018-05-16Paper
scientific article; zbMATH DE number 5794385 (Why is no real title available?)2010-10-01Paper
Meta-modelling for formal software development2001-05-08Paper


Research outcomes over time


This page was built for person: A. Sreenivas