Cover Image

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings /

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023. The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully revie...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Li, Yi (Editor), Tahar, Sofiène (Editor)
Format:	Electronic eBook
Language:	English
Published:	Singapore : Springer Nature Singapore : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Lecture Notes in Computer Science, 14308
Subjects:	Computer science. Computer programming. Software engineering. Compilers (Computer programs). Application software. Natural language processing (Computer science). Theory of Computation. Programming Techniques. Software Engineering. Compilers and Interpreters. Computer and Information Systems Applications. Natural Language Processing (NLP).
Online Access:	https://doi.org/10.1007/978-981-99-7584-6
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Published: (2024)

Compiler Construction Fundamentals and Applications /
by: Mössenböck, Hanspeter
Published: (2025)

Design Patterns with Java An Introduction /
by: Musch, Olaf
Published: (2023)

Learn coding with Python and JavaScript A practical introduction for beginners /
by: Zuckarelli, Joachim L.
Published: (2024)

Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /
Published: (2023)

Guide to Java A Concise Introduction to Programming /
by: Streib, James T., et al.
Published: (2023)

Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Published: (2023)

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
Published: (2023)

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings /
Published: (2023)

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings /
Published: (2024)

A Concise Introduction to Software Engineering With Open Source and GenAI /
by: Jalote, Pankaj
Published: (2025)

Handbook on Natural Language Processing for Requirements Engineering
Published: (2025)

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
Published: (2025)

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings /
Published: (2024)

Introduction to Compiler Design
by: Mogensen, Torben Ægidius
Published: (2024)

Arabic Language Processing: From Theory to Practice 8th International Conference, ICALP 2023, Rabat, Morocco, April 19–20, 2024, Proceedings, Part I /
Published: (2025)

Arabic Language Processing: From Theory to Practice 8th International Conference, ICALP 2023, Rabat, Morocco, April 19–20, 2024, Proceedings, Part II /
Published: (2025)

Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17–20, 2023, Proceedings /
Published: (2023)

Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17–20 September 2023, Revised Selected Papers /
Published: (2024)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
by: Aho, Alfred V.

The Essence of Compilers /
by: Hunter, Robin
Published: (2007)

The Essence of Compilers /
by: Hunter, Robin
Published: (2007)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
by: Aho, Alfred V.

The Essence of Compilers /
by: Hunter, Robin
Published: (2007)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
by: Aho, Alfred V.

Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /
Published: (2023)

Collaboration in Knowledge Discovery and Decision Making Third International Workshop, DECISIONING 2024, Pereira, Colombia, June 4–6, 2024, Proceedings /
Published: (2025)

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures /
Published: (2025)

Chinese Computational Linguistics 22nd China National Conference, CCL 2023, Harbin, China, August 3–5, 2023, Proceedings /
Published: (2023)

Programming Languages: Principles and Paradigms
by: Gabbrielli, Maurizio, et al.
Published: (2023)

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings /
Published: (2025)

Formal Analysis for Natural Language Processing: A Handbook
by: Feng, Zhiwei
Published: (2023)

Requirements Engineering: Foundation for Software Quality 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8–11, 2024, Proceedings /
Published: (2024)

Requirements Engineering: Foundation for Software Quality 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7–10, 2025, Proceedings /
Published: (2025)

AIxIA 2023 – Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings /
Published: (2023)

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings /
Published: (2023)

Explainable and Transparent AI and Multi-Agent Systems 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers /
Published: (2023)

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings /
Published: (2023)

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers /
Published: (2024)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
Published: (2024)