Selected Scientific Publications
Export 2 results:Author Title Type [ Year]
Filters: Keyword is software verification and Author is Andy King [Clear All Filters]
Quotienting Share for Dependency Analysis. Proceedings of the European Symposium on Programming. 1576:59–73.. 1999.
Determinacy and Determinacy Analysis. Journal of Programming Languages. 5:135–171.. 1997.