Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Formal methods (Computer science) --- Computer software --- Méthodes formelles (Informatique) --- Logiciels --- Congresses. --- Testing --- Congrès --- Essais --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Software Engineering --- Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Management information systems. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Management of Computing and Information Systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Informatics --- Science --- Communication systems --- Logic design. --- Information Systems. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory