Search results

0090233 - ÚI 2008 US eng A - Abstract
Adámek, Jiří
Static Analysis of Component Systems using Behavior Protocols.
[Statická analýza komponentových systémů pomocí behavior protokolů.]
Object Oriented Programming Systems Languages and Applications. New York: ACM, 2003. s. 116-117.
[OOPSLA 2003. 26.10.2003-30.10.2003, Anheim]
R&D Projects: GA ČR GA102/03/0672
Keywords : software components * behavior protocols
Permanent Link: http://hdl.handle.net/11104/0151195