Transactions on Foundations for Mastering Change Ide Bernhard SteffenMateriasComputer software, developmentComputer software, verificationComputer softwareDevelopmentVerificationComputer programmingSoftware developmentInformation architectureProgramming & scripting languages: generalComputer modelling & simulation
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications