Home Advanced Search

Advanced Search - Page 1

Abstraction, Refinement and Proof for Probabilistic Systems
  • PDF
  • English
  • Year: 2005
  • Author: Annabelle McIver, Carroll Morgan (auth.)
Programming methodology
  • DJVU
  • English
  • Year: 2003
  • Author: Morgan, Carroll; McIver, Annabelle (ed.)
Programming Methodology
  • PDF
  • English
  • Year: 2003
  • Author: Annabelle McIver, Carroll Morgan (eds.)
Abstraction, refinement and proof for probabilistic systems
  • PDF
  • English
  • Year: 2005
  • Author: McIver, Annabelle; Morgan, Charles C
The Science Of Quantitative Information Flow
  • PDF
  • English
  • Year: 2020
  • Author: Mário S. Alvim, Konstantinos, Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey S. Smith
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Annabelle McIver, Andras Horvath
Abstraction, Refinement and Proof for Probabilistic Systems
  • PDF
  • English
  • Year: 2005
  • Author: McIver A., Morgan C.
Programming from Specifications
  • PDF
  • English
  • Year: 1998
  • Author: Carroll Morgan
On the Refinement Calculus
  • PDF
  • English
  • Year: 1994
  • Author: Carroll Morgan (auth.), Carroll Morgan BSc, PhD, Trevor Vickers BSc, PhD (eds.)
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
search