Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Constance Heitmeyer

On the Need for Practical Formal Methods

1998English

Related publications

The Need for the Development of Formal Qualifications for Tvet Lecturers

2018English

Practical Formal Software Engineering

2009English

A Practical Perspective on Methods

BioTechniques
BiochemistryBiotechnologyGeneticsMolecular Biology
2014English

Formal Methods for Automated Program Improvement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Formal Methods for Extensions to CAS

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Formal Methods for Eternal Networked Software Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

FM+AM’09: Workshop on Formal Methods and Agile Methods

Innovations in Systems and Software Engineering
Software
2009English

A Formal and Practical Framework for Constraint-Based Routing

2008English

Editorial: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology

Frontiers in Bioengineering and Biotechnology
BioengineeringBiomedical EngineeringHistologyBiotechnology
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy