Your search returned 2 results.

Results
	1.	Formal Methods: Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings / by Simao, Adenilso [editor.] Morgan, Carroll [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7021 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	The Science of Quantitative Information Flow [electronic resource] / by Alvim, Mário S [author.] Chatzikokolakis, Konstantinos [author.] McIver, Annabelle [author.] Morgan, Carroll [author.] Palamidessi, Catuscia [author.] Smith, Geoffrey [author.] SpringerLink (Online service) Series: Information Security and Cryptography Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search