Tests and Proofs: Preface of the Special Issue

By Beckert Bernhard   Hähnle Reiner  

Journal of Automated Reasoning, Vol. 45, Iss. 4, 2010-12 ,pp. : 327-329

Springer Publishing Company

Access to resources Recommend Favorite

Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT'—an ICSE'98 Workshop)

By Maibaum T.S.E.  

Automated Software Engineering, Vol. 7, Iss. 1, 2000-03 ,pp. : 7-8

Springer Publishing Company

Access to resources Recommend Favorite

Automated Proofs for Asymmetric Encryption

By Courant J.   Daubignard M.   Ene C.   Lafourcade P.   Lakhnech Y.  

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

Springer Publishing Company

Access to resources Recommend Favorite

Modular Termination Proofs for Rewriting Using Dependency Pairs

By Giesl J.   Arts T.   Ohlebusch E.  

Journal of Symbolic Computation, Vol. 34, Iss. 1, 2002-07 ,pp. : 21-58

Academic Press

Access to resources Recommend Favorite

Special issue on advances in image and video processing techniques

By Grgic Mislav   Mrak Marta   Delac Kresimir  

Multimedia Tools and Applications, Vol. 49, Iss. 3, 2010-09 ,pp. : 405-408

Springer Publishing Company

Access to resources Recommend Favorite