TOOLympics Challenge 2023

Updates, Results, Successes of the Formal-Methods Competitions

AvDirk Beyer,Arnd Hartmanns

Häftad, Engelska, 2024

604 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av