help

Você está em: Start > Publications > View > TEACHING FORMAL METHODS, PROCEEDINGS

Map of Premises

Publication

TEACHING FORMAL METHODS, PROCEEDINGS

Title

Type

International Conference Proceedings Book

Date

2009

Title

TEACHING FORMAL METHODS, PROCEEDINGS

Type

International Conference Proceedings Book

Year

2009

Conference International

2nd International Conference on Teaching Formal Methods

Eindhoven, NETHERLANDS, NOV 02-06, 2009

Other information

Language: English

Type (Professor's evaluation): Scientific

ISBN: 978-3-642-04911-8

Electronic ISBN: 978-3-642-04912-5

Collection: Lecture Notes in Computer Science

Vol.: 5846

Documents

We could not find any documents associated to the publication.

Publications included

Article in International Conference Proceedings Book

Ferreira, JF (Author) (Other); Mendes, A (Author) (Other); Backhouse, R (Author) (Other); Barbosa, LS (Author) (Other)

2009