Abstraction learning. Jaffar, J, Navas, J, & Santosa, A E Proceedings of the 8th international conference on Automated technology for verification and analysis, 2010.
bibtex   
@Article{Jaffar2010,
author = {Jaffar, J and Navas, J and Santosa, A E}, 
title = {Abstraction learning}, 
journal = {Proceedings of the 8th international conference on Automated technology for verification and analysis}, 
volume = {}, 
number = {}, 
pages = {17--17}, 
year = {2010}, 
abstract = {}, 
location = {}, 
keywords = {}}
Downloads: 0