PROCOSProfessional Congress Organization System (informatics)
Copyright 1988-2018, All rights reserved.
References in periodicals archive ?
The ideas in this article were inspired by the ESPRIT ProCoS Working Group (no.
[1993], which discusses the use of a transformational approach to logic program termination analysis in the context of verifying the ProCos compiler.
Paullus II, procos., ex Macedon(ia) et rege Perse per triduum IIII, II[I], pridie k.