Integrating Application Security into a Software Development Process
ProAppSys Software Company Overview Case studies and expertise.
Event-B in a Nutshell Test Data Generation 13th CREST Open Workshop 12th-13th of May 2011, London 13th CREST Open Workshop 12th-13th of May 2011, London.
Event-B in a Nutshell