ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994

@inproceedings{1994ICLP1W,
  title={ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  author={},
  booktitle={ICLP Workshop: Verification and Analysis of Logic Languages},
  year={1994}
}
  • Published 1994 in
    ICLP Workshop: Verification and Analysis of Logic…