<--- Back to Details
First PageDocument Content
Typefaces / Free software licenses / SIL Open Font License / Free software Unicode typefaces / KDE / GNOME / Freedesktop.org / Free Software Foundation / Open-source Unicode typefaces / Free software / Software / X Window System
Date: 2006-10-02 16:29:27
Typefaces
Free software licenses
SIL Open Font License
Free software Unicode typefaces
KDE
GNOME
Freedesktop.org
Free Software Foundation
Open-source Unicode typefaces
Free software
Software
X Window System

Nicolas2006-08-06T21:13:00Nicolas2006-08-06T20:57:00Nicolas2006-08-06T20:55:00unknown2006-08-04T12:45:00unknown2006-08-04T12:55:00 unknown2006-08-04T12:45:00unknown2006-08-04T12:55:00 Nicolas2006-08-06T20:44:00unknown20

Add to Reading List

Source URL: unifont.org

Download Document from Source Website

File Size: 88,55 KB

Share Document on Facebook

Similar Documents

Software / System software / Computing / KDE / KDE Software Compilation / KDE Projects

Call for Proposals: Documentation Support for KDE KDE is an international community dedicated to writing Free Software for end users. Thousands of volunteers are working on software like a desktop, graphics applications,

DocID: 1xVe0 - View Document

Computing / Software engineering / Computer programming / Software bugs / Software testing / Computer network security / Debuggers / Common Weakness Enumeration / Memory debugger / Memory safety / Application security / Frama-C

Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles CEA, LIST, Software Reliability and Security Laboratory, PC 174,

DocID: 1xUYu - View Document

Computing / Software engineering / Data types / Computer programming / Primitive types / Formal languages / Formal methods / ANSI/ISO C Specification Language / C / String / Frama-C / Permutation

Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1? and Julien Signoles2 TrustInSoft, Paris, France CEA LIST, Software Reliability and Security Laborator

DocID: 1xUSC - View Document

Functional predicate / Model theory / Symbol / Limit of a function / Universal quantification / Mathematical logic / Mathematics / Logic

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

DocID: 1xUbX - View Document

Computing / Software engineering / Computer programming / Data types / C++ / C / Primitive types / Software bugs / Pointer / Struct / Memory safety / C dynamic memory allocation

Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty

DocID: 1xTIX - View Document