![]() | ![]() |
| 2001 | ||
|---|---|---|
| 1 | Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer: Dynamic Assertions Using TXP. Electr. Notes Theor. Comput. Sci. 55(2): 134-146 (2001) | |
| 1 | Surrendra Dudani | [1] |
| 2 | Joao Geada | [1] |
| 3 | Daniel Vainer | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page