| |
In X Congreso Argentino de Ciencias de la Computación (CACIC 2004) (October 2004)
|
| |
Revista Nuevas Propuestas, No. 36. (December 2004)
|
| |
Revista Nuevas Propuestas, No. 39. (June 2006), pp. 101-110.
|
| |
In XIII Congreso Argentino de Ciencias de la Computación (CACIC 2007) (October 2007)
|
| |
|
| |
|
| |
In Proceedings of CASCON 1999 (1999), pp. 125-135.
|
| |
2 nd UK workshop on program comprehension (Durham University, UK, July 1996), M. Munro, Ed. (1996)
|
| |
In IEEE International Symposium on Secure Software Engineering (2006)
|
| |
In Proceedings of the first APPSEM-II workshop (2003), pp. 152-165.
|
| |
In TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (2005), pp. 103-112.
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 4, No. 1. (1982), pp. 21-36.
|
| |
In Information and Communications Security, 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, Vol. 4307 (2006), pp. 332-351.
|
| |
SIAM Journal on Computing, Vol. 3, No. 1. (1974), pp. 62-89.
|
| |
SIAM Journal on Computing, Vol. 6, No. 2. (1977), pp. 381-402.
|
| |
SIAM Journal on Computing, Vol. 2, No. 4. (1973), pp. 294-303.
|
| |
SIAM Journal on Computing, Vol. 2, No. 3. (1973), pp. 211-216.
|
| |
SIAM Journal on Computing, Vol. 2, No. 3. (1973), pp. 174-182.
|
| |
SIAM Journal on Computing, Vol. 2, No. 2. (1973), pp. 106-127.
|
| |
SIAM Journal on Computing, Vol. 2, No. 1. (1973), pp. 7-15.
|
| |
SIAM Journal on Computing, Vol. 1, No. 1. (1972), pp. 1-19.
|
| |
SIAM Journal on Computing, Vol. 1, No. 2. (1972), pp. 188-202.
|
| |
SIAM Journal on Computing, Vol. 1, No. 2. (1972), pp. 131-137.
|
| |
SIAM Journal on Computing, Vol. 1, No. 2. (1972), pp. 146-160.
|
| |
|
| |
In Proc. 12th International Conference on Implementation and Application of Automata, CIAA~'07 (July 2007)
|
| |
Second International Symposium on Leveraging Application of Formal Methods, Verification and Validation (ISoLA 2006) (2006)
|
| |
Computing J., Vol. 17, No. 2. (1974), pp. 143-147.
|
| |
In Proceedings of the 22nd Annual Computer Security Applications Conference (ACSAC'06) (2006), pp. 463-472.
|
| |
|
| |
In Proceedings of the Annual Asian Computing Science Conference (2006)
|
| |
In CSF '07: Proceedings of the 20th IEEE Computer Security Foundations Symposium (2007), pp. 203-217.
|
| |
Advances in Computers, Vol. 62 (2004), pp. 106-179.
|
| |
In Harman, M., Gallagher, K. (Eds.), Information and Software Technology Special Issue on Program Slicing, Vol. 40 (1999), pp. 595-607.
|
