Shimon Rura

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

1 Shimon Rura, Barbara Staudt Lerner: Flexible Static Semantic Checking Using First-Order Logic. EWSPT 2003: 143-153

	2003
1		Shimon Rura, Barbara Staudt Lerner: Flexible Static Semantic Checking Using First-Order Logic. EWSPT 2003: 143-153

Coauthor Index