CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
Nestor Catano and Marieke Huisman. CHASE: A static checker for JML's assignable clause. In VMCAI: Verification, Model Checking, and Abstract Interpretation, volume 2575 of LNCS, pages 26--40. Springer, 2003.
Nestor Catano and Marieke Huisman. Chase: A static checker for JML's assignable clause. In Proceedings of Verification, Model Checking and Abstract Interpretation (VMCAI '03), LNCS. Springer-Verlag, 2003. To appear.
Catano, N., Huisman, M.: Chase: a static checker for JML's assignable clause. In: Verification, Model Checking and Abstract Interpretation (VMCAI '03). Volume 2575 of LNCS. (2003) 26--40
N. Catano and M. Huisman. Chase: a Static Checker for JML's Assignable Clause. In L.D. Zuck, P.C. Attie, A. Cortesi, and S. Mukhopadhyay, editors, Verification, Model Checking and Abstract Interpretation (VMCAI '03), number 2575 in LNCS, pages 26--40. Springer, 2003.
Nestor Catano and Marieke Huisman. CHASE: A static checker for JML's assignable clause. In Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, and Supratik Mukhopadhyay, editors, VMCAI: Verification, Model Checking, and Abstract Interpretation, volume 2575 of LNCS, pages 26--40. Springer, 2003.
Nestor Catano and Marieke Huisman. CHASE: A static checker for JML's assignable clause. In Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, and Supratik Mukhopadhyay, editors, VMCAI: Verification, Model Checking, and Abstract Interpretation, volume 2575 of LNCS, pages 26--40. Springer, 2003.
Nestor Catano and Marieke Huisman. CHASE: A static checker for JML's assignable clause. In Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, and Supratik Mukhopadhyay, editors, VMCAI: Verification, Model Checking, and Abstract Interpretation, volume 2575 of LNCS, pages 26--40. Springer, 2003.
Nestor Catano and Marieke Huisman. CHASE: A static checker for JML's assignable clause. In Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, and Supratik Mukhopadhyay, editors, VMCAI: Verification, Model Checking, and Abstract Interpretation, volume 2575 of LNCS, pages 26--40. Springer, 2003.
N. Catano and M. Huisman. Chase: A static checker for JML's assignable clause. In Proceedings, Verification, Model Checking and Abstract Interpretation (VMCAI), LNCS 2575, pages 26--40. Springer, 2003.
Nestor Catano and Marieke Huismann. ChAsE: a static checker for JML's assignable clause. In Proc. 4th International Conference on Verification, Model Checking and Abstract Interpretation, volume 2575 of LNCS, January 2003.
N. Catano and M. Huisman. Chase: A static checker for JML's assignable clause. In Proceedings, Verification, Model Checking and Abstract Interpretation (VMCAI), LNCS 2575, pages 26--40. Springer, 2003.
Catano N, Huisman M (2003) CHASE: A static checker for JML's assignable clause. In: Zuck LD, Attie PC, Cortesi A, Mukhopadhyay S (eds) VMCAI: Verification, model checking, and abstract interpretation. Lecture notes in computer science, vol 2575. Springer, Berlin Heidelberg New York, pp 26--40
Nestor Catano and Marieke Huisman. CHASE: A static checker for JML's assignable clause. In Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, and Supratik Mukhopadhyay, editors, VMCAI: Verification, Model Checking, and Abstract Interpretation, volume 2575 of LNCS, pages 26--40. Springer, 2003.
Catano, N. & Huisman, M. (2003), Chase: a static checker for JML's assignable clause, in L. Zuck, P. Attie, A. Cortesi & S. Mukhopadhyay, eds, `Verification, Model Checking and Abstract Interpretation', number 2575 in `LNCS', Springer, pp. 26--40.
Nestor Catano and Marieke Huisman. CHASE: A static checker for JML's assignable clause. In Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, and Supratik Mukhopadhyay, editors, VMCAI: Verification, Model Checking, and Abstract Interpretation, volume 2575 of LNCS, pages 26--40. Springer, 2003.