Special issue on automated specification and verification of web systems : [... Workshop WWV 2009: Automated Specification and Verification of Web Systems, which took place in Ha...

Veröffentlicht 2011

Variant-Based Equational Anti-unification

von Alpuente, María
Veröffentlicht in LOPSTR (32. : 2022 : Tiflis) Logic-based program synthesis and transformation (2022)