GIM, Publication, full record

	Microelectronics Engineering Group
Home Staff Research Teaching Doctorate Publications Tools			Sun 22-Dec-24 . 02:57

Web Map

Location

News

GIM>Research>Publication

PUBLICATION

Full record
Title:	Discovering and Validating Concurrency Specification from Test Executions
Type:	International Conference
Where:	International Workshop on Validating Software Tests Osaka
Date:	2016-03
Authors:	Pablo González Álvaro Díaz Pablo Pedro Sánchez
R&D Lines:
Projects:
ISBN:
PDF File:
Abstract:


© Copyright GIM (TEISA-UC) ¤ All rights reserved. ¤ Legal Terms	E-Mail Webmaster

Microelectronics Engineering Group