# Victor Carreño

According to our database

Collaborative distances:

^{1}, Victor Carreño authored at least 6 papers between 1993 and 2006.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2006

Formal Analysis of the Operational Concept for the Small Aircraft Transportation System.

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

2004

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

Int. J. Softw. Tools Technol. Transf., 2003

2000

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

1999

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

1993

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993