Sites
Useful sites
EATCS Bulletin
The Center for Teaching and Learning
Home
Research interest
Teaching interest
Interest
Coq for Dummy
Product line implementation
Comparative Study for Product Line implementation
Prototype-based programming
Tabular programming
Software contract
Multicore design paradigm
Agile product line engineering
Event
Sites
To do ...
