Kerry Trentelman

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2005

4 Marieke Huisman, Kerry Trentelman: Factorising Temporal Specifications. CATS 2005: 87-96

3 Bernhard Beckert, Kerry Trentelman: Second-Order Principles in Specification Languages for Object-Oriented Programs. LPAR 2005: 154-168

2 Kerry Trentelman: Proving Correctness of JavaCard DL Taclets using Bali. SEFM 2005: 160-169

2002

1 Kerry Trentelman, Marieke Huisman: Extending JML Specifications with Temporal Logic. AMAST 2002: 334-348

	2005
4		Marieke Huisman, Kerry Trentelman: Factorising Temporal Specifications. CATS 2005: 87-96
3		Bernhard Beckert, Kerry Trentelman: Second-Order Principles in Specification Languages for Object-Oriented Programs. LPAR 2005: 154-168
2		Kerry Trentelman: Proving Correctness of JavaCard DL Taclets using Bali. SEFM 2005: 160-169
	2002
1		Kerry Trentelman, Marieke Huisman: Extending JML Specifications with Temporal Logic. AMAST 2002: 334-348

Coauthor Index

1 Bernhard Beckert [3]

2 Marieke Huisman [1] [4]

Colors in the list of coauthors