The 18th Workshop on Logic-based methods in Programming Environments
Book title Buchtitel
The 18th Workshop on Logic-based methods in Programming Environments