Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Anthony Hall

Realising the Benefits of Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English
  • ‹
  • 1
  • 2

Related publications

Realising the Environmental Benefits of Metal–organic Frameworks: Recent Advances in Microwave Synthesis

Journal of Materials Chemistry A
Materials ScienceChemistrythe EnvironmentSustainabilityRenewable Energy
2018English

In This Issue: Realising Benefits and That Informatics Is All About the Patient

Journal of Innovation in Health Informatics
2016English

Ten Commandments of Formal Methods

Computer
Computer Science
1995English

Software Engineering and Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Security Architectures Using Formal Methods

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

On the Need for Practical Formal Methods

1998English

Formal Methods and Human Communication

1996English

Formal Methods: Foundations and Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Formal Methods in Requirements Phase of SDLC

International Journal of Computer Applications
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy