Empirically Successful Automated Reasoning: Systems Issue

By Fischer Bernd   Sutcliffe Geoff   Schulz Stephan  

Journal of Automated Reasoning, Vol. 36, Iss. 4, 2006-04 ,pp. : 287-287

Springer Publishing Company

Access to resources Recommend Favorite

Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”

By Bauer Lujo   Etalle Sandro   den Hartog Jerry   Viganò Luca  

Journal of Automated Reasoning, Vol. 46, Iss. 3-4, 2011-04 ,pp. : 223-224

Springer Publishing Company

Access to resources Recommend Favorite

Automated Reasoning for Security Protocol Analysis

By Armando Alessandro   Basin David   Cuellar Jorge   Rusinowitch Michaël   Viganò Luca  

Journal of Automated Reasoning, Vol. 36, Iss. 1-2, 2006-01 ,pp. : 1-3

Springer Publishing Company

Access to resources Recommend Favorite

Comparing Instance Generation Methods for Automated Reasoning

By Jacobs Swen   Waldmann Uwe  

Journal of Automated Reasoning, Vol. 38, Iss. 1-3, 2007-04 ,pp. : 57-78

Springer Publishing Company

Access to resources Recommend Favorite

Editorial: The Integration of Automated Reasoning and Computer Algebra Systems

By Linton S.   Sebastiani R.  

Journal of Symbolic Computation, Vol. 34, Iss. 4, 2002-10 ,pp. : 239-239

Academic Press

Access to resources Recommend Favorite