Merkliste 
 1 Ergebnisse 
 
1

Formalizing the design of embedded software using sequence ..:

, In: Proceedings of the 2nd annual conference on Research in information technology,