Susan Eisenbach

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!

Publication	Date of Publication	Type
Holistic Specifications for Robust Programs Fundamental Approaches to Software Engineering	2022-10-13	Paper
Modular verification of procedure equivalence in the presence of memory allocation Programming Languages and Systems	2017-05-19	Paper
Zeno: an automated prover for properties of recursive data structures Tools and Algorithms for the Construction and Analysis of Systems	2012-06-29	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2007-09-28	Paper
A flexible model for dynamic linking in Java and C\# Theoretical Computer Science	2007-01-22	Paper
scientific article; zbMATH DE number 2089406 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2087852 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1956544 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1955931 (Why is no real title available?)	2003-07-29	Paper
scientific article; zbMATH DE number 605793 (Why is no real title available?)	1994-07-13	Paper

Research outcomes over time

This page was built for person: Susan Eisenbach