Research Center for Verification and Semantics, Information Technology Research Institute, National Institute of Advanced Industrial Science and Technology
Filter listed results, by Publication date From: 2007 2008 2011 To: 2007 2008 2011 Author Locate Author in list below Add Author(s) to filter: Carlos Muñoz (1) Miguel Ángel Conde (1) Francisco Garcia (1) Jorge Reyero (1) NoFilterContainsDoesNotContainStartsWithEndsWithEqualToNotEqualToGreaterThanLessThanGreaterThanOrEqualToLessThanOrEqualToBetweenNotBetweenIsEmptyNotIsEmptyIsNullNotIsNullCustom Conference Locate Conference in list below Add Conference(s) to filter: WEBIST(1) NoFilterContainsDoesNotContainStartsWithEndsWithEqualToNotEqualToGreaterThanLessThanGreaterThanOrEqualToLessThanOrEqualToBetweenNotBetweenIsEmptyNotIsEmptyIsNullNotIsNullCustom