![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
IEEE International Conference on Formal Engineering Methods (ICFEM)
24th ICFEM 2023: Brisbane, QLD, Australia
- Yi Li
, Sofiène Tahar
:
Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings. Lecture Notes in Computer Science 14308, Springer 2023, ISBN 978-981-99-7583-9 [contents]
23rd ICFEM 2022: Madrid, Spain
- Adrián Riesco
, Min Zhang
:
Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings. Lecture Notes in Computer Science 13478, Springer 2022, ISBN 978-3-031-17243-4 [contents] - Sedat Akleylek, Santiago Escobar, Kazuhiro Ogata, Ayoub Otmani:
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022), Madrid, Spain, October 24, 2022. CEUR Workshop Proceedings 3280, CEUR-WS.org 2022 [contents]
22nd ICFEM 2020: Singapore
- Shang-Wei Lin
, Zhe Hou
, Brendan P. Mahony:
Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings. Lecture Notes in Computer Science 12531, Springer 2020, ISBN 978-3-030-63405-6 [contents]
21st ICFEM 2019: Shenzhen, China
- Yamine Aït Ameur, Shengchao Qin:
Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. Lecture Notes in Computer Science 11852, Springer 2019, ISBN 978-3-030-32408-7 [contents]
20th ICFEM 2018: Gold Coast, QLD, Australia
- Jing Sun, Meng Sun:
Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Lecture Notes in Computer Science 11232, Springer 2018, ISBN 978-3-030-02449-9 [contents]
19th ICFEM 2017: Xi'an, China
- Zhenhua Duan, Luke Ong:
Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Lecture Notes in Computer Science 10610, Springer 2017, ISBN 978-3-319-68689-9 [contents]
18th ICFEM 2016: Tokyo, Japan
- Kazuhiro Ogata, Mark Lawford, Shaoying Liu:
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. Lecture Notes in Computer Science 10009, 2016, ISBN 978-3-319-47845-6 [contents]
17th ICFEM 2015: Paris, France
- Michael J. Butler
, Sylvain Conchon, Fatiha Zaïdi:
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Lecture Notes in Computer Science 9407, Springer 2015, ISBN 978-3-319-25422-7 [contents]
16th ICFEM 2014: Luxembourg
- Stephan Merz, Jun Pang:
Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Lecture Notes in Computer Science 8829, Springer 2014, ISBN 978-3-319-11736-2 [contents]
15th ICFEM 2013: Queenstown, New Zealand
- Lindsay Groves, Jing Sun
:
Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings. Lecture Notes in Computer Science 8144, Springer 2013, ISBN 978-3-642-41201-1 [contents]
14th ICFEM 2012: Kyoto, Japan
- Toshiaki Aoki, Kenji Taguchi:
Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings. Lecture Notes in Computer Science 7635, Springer 2012, ISBN 978-3-642-34280-6 [contents]
13th ICFEM 2011: Durham, UK
- Shengchao Qin
, Zongyan Qiu:
Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Lecture Notes in Computer Science 6991, Springer 2011, ISBN 978-3-642-24558-9 [contents]
12th ICFEM 2010: Shanghai, China
- Jin Song Dong, Huibiao Zhu:
Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Lecture Notes in Computer Science 6447, Springer 2010, ISBN 978-3-642-16900-7 [contents]
11th ICFEM 2009: Rio de Janeiro, Brazil
- Karin K. Breitman, Ana Cavalcanti:
Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Lecture Notes in Computer Science 5885, Springer 2009, ISBN 978-3-642-10372-8 [contents]
10th ICFEM 2008: Kitakyushu-City, Japan
- Shaoying Liu, T. S. E. Maibaum, Keijiro Araki:
Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science 5256, Springer 2008, ISBN 978-3-540-88193-3 [contents]
9th ICFEM 2007: Boca Raton, FL, USA
- Michael J. Butler, Michael G. Hinchey, María M. Larrondo-Petrie
:
Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings. Lecture Notes in Computer Science 4789, Springer 2007, ISBN 978-3-540-76648-3 [contents]
8th ICFEM 2006: Macao
- Zhiming Liu, Jifeng He:
Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings. Lecture Notes in Computer Science 4260, Springer 2006, ISBN 3-540-47460-9 [contents] - Antonio Cerone, Paul Curzon:
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, FMIS@ICFEM 2006, Macao, October 31, 2006. Electronic Notes in Theoretical Computer Science 183, Elsevier 2007 [contents]
7th ICFEM 2005: Manchester, UK
- Kung-Kiu Lau, Richard Banach:
Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings. Lecture Notes in Computer Science 3785, Springer 2005, ISBN 3-540-29797-9 [contents]
6th ICFEM 2004: Seattle, WA, USA
- Jim Davies, Wolfram Schulte, Michael Barnett:
Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings. Lecture Notes in Computer Science 3308, Springer 2004, ISBN 3-540-23841-7 [contents]
5th ICFEM 2003: Singapore
- Jin Song Dong, Jim Woodcock
:
Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Lecture Notes in Computer Science 2885, Springer 2003, ISBN 3-540-20461-X [contents]
4th ICFEM 2002: Shanghai, China
- Chris George, Huaikou Miao:
Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings. Lecture Notes in Computer Science 2495, Springer 2002, ISBN 3-540-00029-1 [contents]
3rd ICFEM 2000: York, England, UK
- 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings. IEEE Computer Society 2000, ISBN 0-7695-0822-7 [contents]
2nd ICFEM 1998: Brisbane, Queensland, Australia
- Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings. IEEE Computer Society 1998, ISBN 0-8186-9198-0 [contents]
1st ICFEM 1997: Hiroshima, Japan
- First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings. IEEE Computer Society 1997, ISBN 0-8186-8002-4 [contents]
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.