The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. weiterlesen