Languages
Jump To : Overview | Titles | Subjects

McIver, Annabelle.

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Quantitative evaluation of systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / by: McIver, Annabelle.; Horvath, Andras.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service) (Language materials, printed)
Abstraction, Refinement and Proof for Probabilistic Systems by: SpringerLink (Online service); McIver, Annabelle.; Morgan, Carroll. (Language materials, printed)
Quantitative Evaluation of Systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / by: McIver, Annabelle.; Horvath, Andras.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Logic for Programming, Artificial Intelligence, and Reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / by: McIver, Annabelle.; Davis, Martin.; SpringerLink (Online service); Fehnker, Ansgar.; Voronkov, Andrei. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
The Science of Quantitative Information Flow by: Chatzikokolakis, Konstantinos.; Smith, Geoffrey.; SpringerLink (Online service); Palamidessi, Catuscia.; Alvim, Mário S.; Morgan, Carroll.; McIver, Annabelle. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]
Formal Methods – The Next 30 Years = Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by: ter Beek, Maurice H.; SpringerLink (Online service); Oliveira, José N.; McIver, Annabelle. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login