Leszek Trybus

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1995

1 Wolfgang A. Halang, Bernd J. Krämer, Leszek Trybus: Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. Comput. J. 38(4): 301-309 (1995)

1995
1		Wolfgang A. Halang, Bernd J. Krämer, Leszek Trybus: Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. Comput. J. 38(4): 301-309 (1995)

Coauthor Index

1 Wolfgang A. Halang [1]

2 Bernd J. Krämer [1]