Verifying Static Aspects of UML models using Prolog (S).

Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu

Browse the full SEKE paper archive.