by Holcombe, W. M. L., (William Michael Lloyd), Hinchey, Michael G., (Michael Gerard), International Conference on Software Engineering and Formal Methods, Thessalonikē, Greece), Eleftherakis, George
fromLecture Notes in Computer Science
by Holcombe, William Michael Lloyd, Hinchey, Michael Gerard, International Conference on Software Engineering and Formal Methods, Thessalonikē, Greece), Eleftherakis, George
fromLNCS sublibrary. SL 2, Programming and software engineering
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 i…
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 i…
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 i…
by Holcombe, W. M. L., (William Michael Lloyd), Hinchey, Michael G., (Michael Gerard), International Conference on Software Engineering and Formal Methods, Thessalonikē, Greece), Eleftherakis, George
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 i…
by Degano, Pierpaolo, Viganò, Luca, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, York, England)
fromLecture Notes in Computer Science
by Degano, Pierpaolo, Viganò, Luca, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, York, England)
fromLecture Notes in Computer Science
by Degano, Pierpaolo, Viganò, Luca, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, York, England)
fromLecture Notes in Computer Science
by Degano, Pierpaolo, Viganò, Luca, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, York), ARSPA-WITS, York), Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, York)
fromLecture Notes in Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, held in York, UK, in March 2009, in association with ETAPS 2009. The 12 re…
This book constitutes the thoroughly refereed post-conferenceproceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, held in York, UK, in March 2009, in association with ETAPS 2009. The12 revi…
by Lowe, Gavin, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Paphos, Cyprus), Armando, Alessandro
fromLecture Notes in Computer Science
by Lowe, Gavin, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Paphos, Cyprus), Armando, Alessandro
fromLecture Notes in Computer Science
by Lowe, Gavin, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Paphos, Cyprus), Armando, Alessandro
fromLecture Notes in Computer Science
