Suche

Automatic and Efficient Simulation of Operation Contracts

Matthias P. Krieger, Alexander Knapp, Burkhart Wolff

In: Eelco Visser, Jaakko Järvi (Hgg.). Proc. 9th Int. Conf. Generative Programming And Component Engineering (GPCE'10). ACM, 2010. S. 53-62. DOI: http://doi.acm.org/10.1145/1868294.1868303


Links: