João Costa Seco

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 27

Top Topics

Information Flow Control

Weighted Max Sat

Version Control

Top Venues

MoDELS (Companion)

Publications