Teaching formal methods using the ASF+ SDF Meta-environment
T Dinesh, S Uskudarli, ( Ed.)
Abstract
BibTeX
@article{Dinesh1994_teaching_f,
author = {T Dinesh and S Uskudarli and ( Ed.)},
title = {Teaching formal methods using the ASF+ SDF Meta-environment},
year = {1994}
}