Even linear simple matrix languages: formal language properties and grammatical inference

By Fernau H.  

Theoretical Computer Science, Vol. 289, Iss. 1, 2002-10 ,pp. : 425-456

Elsevier

Access to resources Recommend Favorite

Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol

By  

International Journal of Information Security and Privacy (IJISP), Vol. 7, Iss. 2, 2013-04 ,pp. : 57-85

IGI Global_journal

Access to resources Recommend Favorite

A formal nethod (a networked formal method)

By Breuer Peter  

Innovations in Systems and Software Engineering, Vol. 6, Iss. 4, 2010-12 ,pp. : 255-268

Springer Publishing Company

Access to resources Recommend Favorite

The regular viewpoint on PA-processes

By Lugiez  

Theoretical Computer Science, Vol. 274, Iss. 1, 2002-03 ,pp. : 89-115

Elsevier

Access to resources Recommend Favorite

The meaning of “formal”: from weak to strong formal methods

By Wolper Pierre  

International Journal on Software Tools for Technology Transfer, Vol. 1, Iss. 1-2, 1997-12 ,pp. : 6-8

Springer Publishing Company

Access to resources Recommend Favorite