Specification and development of interactive systems : focus on streams, interfaces, and refinement /

Autor Broy, Manfred, 1949-, Stølen, Ketil
Vydáno 2001

Trust management : 4th International Conference, iTrust 2006 : Pisa, Italy, May 16-19, 2006 : proceedings /

Vydáno 2006