Archive | July, 2016

CryptoForma themed special issue of Formal Aspects of Computing, extension until 1 Aug

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, […]

Read full story Comments { 0 }