Object
Title: Counterexample-driven genetic programming – comparison with formal synthesizers
NumberOfPages:
Language:
Relation:
Politechnika Poznańska ; Wydział Informatyki ; Instytut Informatyki
Rights Management:
Rights holder:
Błądek, Iwo ; Krawiec, Krzysztof
Object collections:
- PUT Scientific Repository > Faculties > Faculty of Computing
- PUT Scientific Repository > Types of work > Books
Last modified:
Nov 7, 2017
All available object's versions:
http://repozytorium.put.poznan.pl/publication/521038
Show description in RDF format:
| Edition name | Date |
|---|
×
