Daniel Vainer

2001
1	EE	Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer: Dynamic Assertions Using TXP. Electr. Notes Theor. Comput. Sci. 55(2): (2001)

Coauthor Index

1	Surrendra Dudani	[1]
2	Joao Geada	[1]
3	Grzegorz Jakacki	[1]