ACM SIGPLAN Fortran Forum
Towards motivation-based decisions for worth goals
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
The single transferable voting system: functional decomposition in formal specification
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |