Repository navigation

README: fix co-author name in TACAS'25 citation (K.-M. Chung) - #59

Merged

ondrik merged 1 commit into

fmlab-iis:mainfrom

ondrik:fix-tacas-citation-author

Oct 19, 2026

Merged

README: fix co-author name in TACAS'25 citation (K.-M. Chung)#59
ondrik merged 1 commit into
fmlab-iis:mainfrom
ondrik:fix-tacas-citation-author

Commits on Oct 18, 2026
- README: fix co-author name in TACAS'25 citation (K.-M. Chung)
  
  ondrik
  and
  claude
  committed
  c4799d1