Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
ICIS
/
Paper
Logic Based Information System Specification Verification.
Waldo C. Kabat
,
Wojtek Kozaczynski
,
Vicki Lovegren
Venue
C
ICIS
Year
1986
Proceedings
ICIS
DBLP record
conf/icis/KabatKL86 ↗
Browse the full
ICIS paper archive
.