Home Advanced Search
Advanced Search - Page 1
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
- English
- Year: 2019
- Author: Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022 Lucca, Italy, June 13–17, 2022 Proceedings
- English
- Year: 2022
- Author: Maurice H. ter Beek, Marjan Sirjani
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings
- English
- Year: 2022
- Author: Maurice H. ter Beek, Rosemary Monahan
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
- English
- Year: 2018
- Author: Annabelle McIver, Andras Horvath
Abstraction, refinement and proof for probabilistic systems
- English
- Year: 2005
- Author: McIver, Annabelle; Morgan, Charles C
Desafie Sua Inteligência
- Portuguese
- Author: José Tenório de Oliveira
Desafie Sua Inteligência
- EPUB
- Portuguese
- Year: 2011
- Author: José Tenório de Oliveira