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...

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	SpringerLink (Online service)
Altres autors:	Li, Yi (Editor), Tahar, Sofiène (Editor)
Format:	Electrònic eBook
Idioma:	anglès
Publicat:	Singapore : Springer Nature Singapore : Imprint: Springer, 2023.
Edició:	1st ed. 2023.
Col·lecció:	Lecture Notes in Computer Science, 14308
Matèries:	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).
Accés en línia:	https://doi.org/10.1007/978-981-99-7584-6
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!