Model Checking Programs with Java PathFinder

From the research index

The paper comes from the research index. It wasn’t submitted here.

Book chapter

Willem Visser, Peter Mehlitz

Lecture notes in computer science1 Jan 2005

Book chapterFrom the research index

Willem Visser, Peter Mehlitz · Lecture notes in computer science · 1 Jan 2005

Abstract

No PDF here

The full text is at the publisher

You can read the abstract here, or open it at the publisher.

There is no abstract for this record.

48Cited by