Ben Krause

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

1 Ben Krause, Tim Wahls: jmle: A Tool for Executing JML Specifications Via Constraint Programming. FMICS/PDMC 2006: 293-296

	2006
1		Ben Krause, Tim Wahls: jmle: A Tool for Executing JML Specifications Via Constraint Programming. FMICS/PDMC 2006: 293-296

Coauthor Index

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page