@misc {TN_libero_mab2,
author
=
{
Lau, Kung-Kiu
}
,
title
=
{
Logic Based Program Synthesis and Transformation
}
,
publisher
=
{
Springer Berlin Heidelberg
}
,
isbn
=
{
0302-9743
}
,
year
=
{
2001
}
,
url
=
{
http://slubdd.de/katalog?TN_libero_mab2
}
}
Download citation