Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Corin Gurr

Formal Methods and Human Communication

1996English

Related publications

Software Engineering and Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Formal Methods: Foundations and Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Erratum To: The Handbook of Formal Methods in Human-Computer Interaction

The Handbook of Formal Methods in Human-Computer Interaction
2017English

Safe Artificial Intelligence and Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Security Architectures Using Formal Methods

IEEE Journal on Selected Areas in Communications
Computer NetworksElectronic EngineeringElectricalCommunications
1993English

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

Innovations in Systems and Software Engineering
Software
2009English

Ten Commandments of Formal Methods

Computer
Computer Science
1995English

Formal Methods in Systems Engineering

1993English

Formal Methods in Computer-Aided Design

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy