|
Search the dblp DataBase
Sentot Kromodimoeljo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink
Eves System Description. [Citation Graph (0, 0)][DBLP] CADE, 1992, pp:771-775 [Conf]
- Bill Pase, Sentot Kromodimoeljo
m-NEVER System Summary. [Citation Graph (0, 0)][DBLP] CADE, 1988, pp:738-739 [Conf]
- Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink
EVES: An Overview. [Citation Graph (0, 0)][DBLP] VDM Europe (1), 1991, pp:389-405 [Conf]
- Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels
An EVES Data Abstraction Example. [Citation Graph (0, 0)][DBLP] FME, 1993, pp:578-596 [Conf]
- Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, A. Neilson, Bill Pase, Mark Saaltink
m-EVES: A Tool for Verifying Software. [Citation Graph (0, 0)][DBLP] ICSE, 1988, pp:324-333 [Conf]
- Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels
The EVES System. [Citation Graph (0, 0)][DBLP] Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:349-373 [Conf]
Search in 0.001secs, Finished in 0.002secs
|