Cited By
View all- Steffen B(2005)Data flow analysis as model checkingTheoretical Aspects of Computer Software10.1007/3-540-54415-1_54(346-364)Online publication date: 7-Jun-2005
- Mernik MLenic MAvdicausevic EZumer V(2000)Compiler/interpreter generator system LISAProceedings of the 33rd Annual Hawaii International Conference on System Sciences10.1109/HICSS.2000.927021(10)Online publication date: 2000
- Steffen B(1993)Generating data flow analysis algorithms from modal specificationsScience of Computer Programming10.1016/0167-6423(93)90003-821:2(115-139)Online publication date: 1-Oct-1993
- Show More Cited By