![[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - An Inconsistency Free Formalization of B/S Architecture]()
[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - An Inconsistency Free Formalization of B/S ArchitectureLi, Qin; Li, Qin; Li, Qin; Li, Qin; Zhu, Huibiao; Zhu, Huibiao; Zhu, Huibiao; Zhu, Huibiao; He, Jifeng; He, Jifeng; He, Jifeng; He, Jifeng · 2007