Biblio

Show only items where

Author

Type

Term

Year

Keyword

CAPTCHA

This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.

What code is in the image? *

Enter the characters shown in the image.

Export 1 results:

Filters: Author is Benbernou, S. and Keyword is Logic languages [Clear All Filters]

2007

Collaborative Partner

Institute of Electronic and Information Technology (IEIT)