Cited By
View all- Upadhyaya BLiu Z(2004)Formal Support for Development of JavaBeans" Component SystemsProceedings of the 28th Annual International Computer Software and Applications Conference - Volume 0110.5555/1025117.1025471(23-28)Online publication date: 28-Sep-2004
- Upadhyaya BZhiming Liu (2004)Formal support for development of Javabeans component systemsProceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.10.1109/CMPSAC.2004.1342801(23-28)Online publication date: 2004
- Abramsky SGay SNagarajan R(1996)Interaction Categories and the Foundations of Typed Concurrent ProgrammingDeductive Program Design10.1007/978-3-642-61455-2_10(35-113)Online publication date: 1996
- Show More Cited By