Following more than six successful years of the UK CryptoForma EPSRC network (www.cryptoforma.org.uk), and a special issue of the Formal Aspects of Computing journal in 2014 (see http://link.springer.com/journal/165/26/1/page/1) we have been given the opportunity to produce another special issue of this journal. The topic area is the application of formal methods in the specification, development, […]
Archive | July, 2016
Recent Posts
Members Login
If you are a member of CryptoForma, please login.