Formal methods and software engineering 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings
Invited Talk: Verifying Compiler Optimisations.- Regular Papers: An Idealist's Approach for Smart Contract Correctness.- Active Inference of EFSMs Without Reset.- Learning Mealy Machines with Local Timers.- Compositional Vulnerability Detection with Insecurity Separation Logic.- Dynamic Extrapo...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Singapore
Springer
2023
|
| Schriftenreihe: | Lecture notes in computer science
14308 |
| Schlagworte: |
Angewandte Informatik
> COMPUTERS / Computer Science
> COMPUTERS / Data Processing / General
> COMPUTERS / Data Processing / Speech & Audio Processing
> COMPUTERS / Programming / General
> COMPUTERS / Programming / Software Development
> COMPUTERS / Programming Languages / General
> Compiler und Übersetzer
> Computer programming / software development
> Computer science
> Computerprogrammierung und Softwareentwicklung
> Information technology: general issues
> Natural language & machine translation
> Natürliche Sprachen und maschinelle Übersetzung
> Programming & scripting languages: general
> Software Engineering
> Theoretische Informatik
> Konferenzschrift
|
| Online Zugang: | Cover |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen 
Keine Ergebnisse!