Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers (Lecture Notes in Computer Science #5491)
4779172
|
Pierpaolo Degano
Joshua D. Guttman
Fabio Martinelli
|
9783642014659 |
2009 |
|
|
Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France (IFIP Advances in Information and Communication Technology #173)
3819326
|
Theo Dimitrakos
Fabio Martinelli
|
9780387240985 |
2005 |
|
|
Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers (Lecture Notes in Computer Science #3866)
4694991
|
Theo Dimitrakos
Fabio Martinelli
Peter Y. A. Ryan
Steve Schneider
|
9783540326298 |
2006 |
|
|
Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers (Lecture Notes in Computer Science #4691)
4789704
|
Theo Dimitrakos
Fabio Martinelli
Peter Y. A. Ryan
Steve Schneider
|
9783540752271 |
2007 |
|
|
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings (Lecture Notes in Computer Science #12018)
3101818
|
Farhad Arbab
Sung-Shik Jongmans
|
9783030409142 |
2020 |
Contains images
|
|
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science #7253)
4731445
|
Farhad Arbab
Peter Csaba Ölveczky
|
9783642357435 |
2012 |
|
|
Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Lecture Notes in Computer Science #11222)
2241729
|
Kyungmin Bae
Peter Csaba Ölveczky
|
9783030021467 |
2018 |
Contains images
|
|
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers (Lecture Notes in Computer Science #6921)
4805607
|
Luis Soares Barbosa
Markus Lumpe
|
9783642272691 |
2012 |
|
|
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture Notes in Computer Science #9539)
2838906
|
Christiano Braga
Peter Csaba Ölveczky
|
9783319289342 |
2016 |
Contains images
|
|
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (Lecture Notes in Computer Science #14485)
5887803
|
Javier Cámara
Sung-Shik Jongmans
|
9783031521836 |
2024 |
Contains images
|
|
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Lecture Notes in Computer Science #8348)
2809316
|
José Luiz Fiadeiro
Zhiming Liu
Jinyun Xue
|
9783319076027 |
2014 |
Contains images
|
|
Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers (Lecture Notes in Computer Science #10231)
2243678
|
Olga Kouchnarenko
Ramtin Khosravi
|
9783319576664 |
2017 |
Contains images
|
|
Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Lecture Notes in Computer Science #8997)
2826308
|
Ivan Lanese
Eric Madelaine
|
9783319153179 |
2015 |
Contains images
|
|
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings (Lecture Notes in Computer Science #15189)
6207717
|
Diego Marmsoler
Meng Sun
|
9783031712616 |
2024 |
Contains images
|
|
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Lecture Notes in Computer Science #7684)
4813749
|
Corina S. Pasareanu
Gwen Salaün
|
9783642358616 |
2013 |
|
|
Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings (Lecture Notes in Computer Science #10487)
2253042
|
José Proença
Markus Lumpe
|
9783319680347 |
2017 |
Contains images
|
|
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings (Lecture Notes in Computer Science #13077)
4346785
|
Gwen Salaün
Anton Wijs
|
9783030906368 |
2021 |
Contains images
|
|
Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings (Lecture Notes in Computer Science #13712)
4971634
|
Silvia Lizeth Tapia Tarifa
José Proença
|
9783031208720 |
2022 |
Contains images
|
|
Formal Aspects of Context (Applied Logic Series #20)
4695968
|
Pierre Bonzon
Marcos Cavalcanti
Rolf Nossum
|
9789401593977 |
2000 |
|
|
Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 (Workshops in Computing)
3861564
|
Tim Denvir
Rosalind Herman
Robin Whitty
|
9781447132059 |
1992 |
|
|
Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers (Lecture Notes in Computer Science #2629)
4829130
|
Ali E. Abdallah
Peter Ryan
Steve Schneider
|
9783540409816 |
2003 |
|
|
Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers (Lecture Notes in Computer Science #7140)
4617238
|
Gilles Barthe
Anupam Datta
Sandro Etalle
|
9783642294204 |
2012 |
|
|
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers (Lecture Notes in Computer Science #6561)
4739461
|
Pierpaolo Degano
Sandro Etalle
Joshua Guttman
|
9783642197512 |
2011 |
|
|
The Formal Complexity of Natural Language (Studies in Linguistics and Philosophy #33)
4718432
|
W. J. Savitch
E. Bach
W. E. Marsh
Gila Safran-Naveh
|
9789400934016 |
1987 |
|
|
Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings (Lecture Notes in Computer Science #9113)
2828873
|
Jaume Baixeries
Christian Sacarea
Manuel Ojeda-Aciego
|
9783319195452 |
2015 |
Contains images
|
|