International Journal of Medical Informatics · 2018 · 44 citations · 22 references
Software MaintenanceEngineeringSoftware EngineeringSoftware AnalysisFormal VerificationSystems EngineeringProgram TransformationMultidisciplinary Consensus ProcedureSoftware ImplementationComputer ScienceOptimizing CompilerSoftware DesignStopp/start Version 2Program AnalysisSoftware TestingFormal MethodsProgram SynthesisParallel ProgrammingProgramming MethodologySymbolic ExecutionSystem Software
22