Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Lecture Notes in Computer Science)
Der Band der IFM‑Konferenz 2014 in Bertinoro präsentiert neue theoretische Modelle, algorithmische Techniken und praxisnahe Beispiele aus Softwareâ ...