Notes on refinement, interpolation and uniformity Conferences

authors

• Dimitrakos, T
• Maibaum, Thomas

status

• accepted 

publication date

• January 1, 1997

published in

• Proceedings 12th IEEE International Conference Automated Software Engineering  Journal

presented at event

• 12th IEEE International Conference Automated Software Engineering  Conference

keywords

• Computer Science
• Computer Science, Software Engineering
• Science & Technology
• Technology

Digital Object Identifier (DOI)

• 10.1109/ase.1997.632830

International Standard Book Number (ISBN) 10

• 0-8186-7962-X

start page

• 108

end page

• 116