Extending CSP with tests for availability

Podrobná bibliografie
Hlavní autor: Lowe, G
Médium: Journal article
Vydáno: 2009