Theory and practice of software development

DOI10.1007/3-540-59293-8_185zbMath1496.68078OpenAlexW1506093933MaRDI QIDQ5096724

Christiane Floyd

Publication date: 18 August 2022

Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59293-8_185

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Formalism and method

Cites Work

• Program verification. Fundamental issues in computer science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Theory and practice of software development