"Playing with Quantified Satisfaction."

Nikolaj S. Bjørner, Mikolás Janota (2015)

Details and statistics

DOI: 10.29007/VV21

access: open

type: Conference or Workshop Paper

metadata version: 2024-08-04