An Inconsistency Free Formalization of B/S Architecture.

Qin Li, Huibiao Zhu, Jifeng He

Browse the full SEW paper archive.